https://dasbestelexikon.de/en/wiki/Frobenius_theorem_(differential_topology)